ABSTRACTScholarship on medieval philosophy has rightfully acknowledged the historical and systematical merit of Avicenna’s thought in all divisions of philosophy. Avicenna however did not...

It is well-known that natural axiomatic theories are well-ordered by consistency strength. However, it is possible to construct descending chains of artificial theories with respect to consistency strength. We provide an explanation of this well-orderedness phenomenon by studying a coarsening of the consistency strength order, namely, the$\Pi ^1_1$reflection strength order. We prove that there are no descending sequences of$\Pi ^1_1$sound extensions of$\mathsf {ACA}_0$in this ordering. Accordingly, we can attach a rank in this order, which we call reflection rank, to any$\Pi (...) ^1_1$sound extension of$\mathsf {ACA}_0$. We prove that for any$\Pi ^1_1$sound theoryTextending$\mathsf {ACA}_0^+$, the reflection rank ofTequals the$\Pi ^1_1$proof-theoretic ordinal ofT. We also prove that the$\Pi ^1_1$proof-theoretic ordinal of$\alpha $iterated$\Pi ^1_1$reflection is$\varepsilon _\alpha $. Finally, we use our results to provide straightforward well-foundedness proofs of ordinal notation systems based on reflection principles. (shrink)

The article attempts to explain the difficulty of systematization of philosophical categories. Philosophical categories are defined as common forms of cognitive and world view attitude of the man to the nature, society and his own existence. The article also analyses basic approaches to the process of creating the system of philosophical categories in the history of philosophical thought. The review of the major historical phases of philosophical interpretation of categories allows to state the existence of the problematic issue connected with (...) forming the system of categories. A lot of attempts have been undertaken on this subject. All of them were found controversial. It can be explained by the fact that all the attempts to systematize categories contradict the following principles - if categories are universal reflection forms of objective characteristics of existence, then their hierarchy must be the reflection of these characteristics’ hierarchy. But it is impossible to imagine that the "hierarchy" principle operates in the system of being, because the objective world is organized rather on the principle of "equality" than "subordination". The article addresses functional and developmental characteristics of philosophical categories. The article gives the author`s understanding of the concept of "philosophical categories". (shrink)

This is a translation of an article which appeared in 1928 in the journal Red Virgin Soil (Krasnaya nov) founded by Aleksandr Voronsky. Its author, the Russian Marxist Fedor Kapelusz, makes use of the now largely-ignored book of Algie Simons, Social Forces in American History (1911). In comparing America’s past to its present, Kapelusz offers a sharp political assessment and at the same time a contribution to the materialist conception of American history.

In _Essentialität und Notwendigkeit: Avicenna und die Aristotelische Tradition_ stellt Fedor Benevich Avicennas Theorie der Essenz und der wissenschaftlichen Bestimmung essentieller und notwendiger Attribute in einem historischen Kontext der aristotelischen Tradition. In _Essentialität und Notwendigkeit: Avicenna und die Aristotelische Tradition_ Fedor Benevich presents Avicenna’s theory of essence and the scientific determination of essential and necessary attributes in its historical context of the Aristotelian tradition.

According to the restructuring hypothesis, insight problem solving typically progresses through consecutive stages of search, impasse, insight, and search again for someone, who solves the task. The order of these stages was determined through self-reports of problem solvers and has never been verified behaviorally. We asked whether individual analysis of problem solving attempts of participants revealed the same order of problem solving stages as defined by the theory and whether their subjective feelings corresponded to the problem solving stages they were (...) in. Our participants tried to solve the Five-Square problem in an online task, while we recorded the time and trajectory of their stick movements. After the task they were asked about their feelings related to insight and some of them also had the possibility of reporting impasse while working on the task. We found that the majority of participants did not follow the classic four-stage model of insight, but had more complex sequences of problem solving stages, with search and impasse recurring several times. This means that the classic four-stage model is not sufficient to describe variability on the individual level. We revised the classic model and we provide a new model that can generate all sequences found. Solvers reported insight more often than non-solvers and non-solvers reported impasse more often than solvers, as expected; but participants did not report impasse more often during behaviorally defined impasse stages than during other stages. This shows that impasse reports might be unreliable indicators of impasse. Our study highlights the importance of individual analysis of problem solving behavior to verify insight theory. (shrink)

We consider the well-known provability logic GLP. We prove that the GLP-provability problem for polymodal formulas without variables is PSPACE-complete. For a number n, let L0n\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${L^{n}_0}$$\end{document} denote the class of all polymodal variable-free formulas without modalities ⟨n⟩,⟨n+1⟩,...\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\langle n \rangle,\langle n+1\rangle,...}$$\end{document}. We show that, for every number n, the GLP-provability problem for formulas from L0n\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${L^{n}_0}$$\end{document} (...) is in PTIME. (shrink)

В сборник включены ранее не публиковавшиеся религиозно-философские произведения Ф. Н. Глинки.

In the article the trends of national industrial enterprises development are investigated. The problems of innovative development of domestic industry are identified based on state industrial development concept. Particular attention is paid to the analysis of the management policy of industrial enterprises personnel quantity and quality dates. The processes of the personnel decreases invariably accompanied by a number of organizational and technical issues that will determine new requirements for the organization of internal management model of enterprise environment. Considered and analyzed (...) organizational and administrative activities of increasing professional and technical potential of personnel stuff. The paper proposes the ways to improve effectiveness of personnel stuff policy based on the current terms of international industrial market. The author refined the professional competences model structure of industrial enterprises staff. Consider the structure of complex events management personnel structure and the ways of their further development and implementation. (shrink)

A short report on the trip to India.--Philosophical doctrine of Buddhism.--Logic in ancient India.--The doctrine of categorical imperative in the Brāhmaṇas.

Maximus the Confessor in his “Ambigua” opposes himself in a decisive way to the Origenist vision of man and of his relation to God, a vision extremely wide-spread in his time. He creates his own anthropology which in its turn serves as a foundation of his theology. Man becomes a complete and integrated being and obtains his full realisation only provided that he is united with God and is a corporeal being related to the world in which he lives. Man, (...) World and God are the terms of a dynamic relation, in which each of the first terms finds its unity. Man's unity, as well as that of the world, is realised in God, towards Whom both tend and move. The article is an attempt to retrace this movement of man, together with the world, to God, the movement crowned in unity with Him, a kind of unity that does not take away man's identity. (shrink)

In this paper, we study finitely axiomatizable conservative extensions of a theoryUin the case whereUis recursively enumerable and not finitely axiomatizable. Stanisław Krajewski posed the question whether there are minimal conservative extensions of this sort. We answer this question negatively.Consider a finite expansion of the signature ofUthat contains at least one predicate symbol of arity ≥ 2. We show that, for any finite extensionαofUin the expanded language that is conservative overU, there is a conservative extensionβofUin the expanded language, such that$\alpha (...) \vdash \beta$and$\beta \not \vdash \alpha$. The result is preserved when we consider eitherextensionsormodel-conservative extensionsofUinstead ofconservative extensions. Moreover, the result is preserved when we replace$\dashv$as ordering on the finitely axiomatized extensions in the expanded language by a relevant kind of interpretability, to witinterpretability that identically translates the symbols of the U-language.We show that the result fails when we consider an expansion with only unary predicate symbols for conservative extensions ofUordered by interpretability that preserves the symbols ofU. (shrink)

Essentialism can be defined as a metaphysical theory according to which things have essential and accidental properties. In this paper, I will address Avicennian essentialism, that is, essentialism...

RésuméQuels sont les objets de la perception? Deux réponses célèbres à cette question soutiennent que ce sont soit les images des objets extramentaux, c'est-à-dire la façon dont ils nous apparaissent, soit les objets eux-mêmes. Dans cet article, je présente une analyse de cette question par Abū l-Barakāt al-Baġdādī, un savant post-avicennien dont l'impact sur l'histoire de la philosophie islamique a été largement négligé. Abū l-Barakāt s'est opposé au dualisme épistémologique traditionnel aristotélicien-avicennien, qui établit une distinction entre la perception sensorielle des (...) particuliers matériels et la conception des universaux immatériels, notamment en ce qui concerne le percevant et/ou la structure de la perception. Selon la théorie d'Abū l-Barakāt, tous les actes épistémiques ont la structure unifiée d'une relation directe entre un même percevant et les objets eux-mêmes – matériels et immatériels. Sa thèse principale consiste à dire qu'avoir des organes corporels n'est pas nécessaire pour la perception sensorielle. Dans la dernière section de cet article, je montre que la critique d'Abū l-Barakāt de la tradition aristotélicienne-avicennienne fut considérée comme une innovation révolutionnaire en épistémologie. Cela peut avoir déterminé les théories épistémologiques de deux des philosophes arabes postavicenniens les plus importants : Faḫr al-Dīn al-Rāzī et Šihāb al-Dīn al-Suhrawardī. (shrink)

A central question in the history of metaphysics concerns the ontological status of such notions as 'redness,' 'humanity,' or 'animality,' which one calls 'universals.' Since one uses these notions to describe objects in the real world, it may seem intuitive that they exist in extramental reality: one says that universals are 'real'. Famously, though, several problems arise from this view. A central problem known both to medieval and contemporary scholars goes as follows: I look at a red rose and recognize (...) that there is 'redness' in it. Then, I look at a red apple and recognize that there is 'redness' in it, too. Does this mean that one and the same 'redness' appears in both the rose and the... (shrink)

One of the most widespread claims combining epistemology and metaphysics in post-Avicennian Islamic philosophy was that every object of thought is real. In Muʿtazilite reading, it was endorsed due to a theory of knowledge which states that knowledge is a connection or relation between the knower and the object known. Avicennists accepted it due to the rule that in a proposition “s is p” if p is something positive s has to be positive and real too. Hence, insofar as one (...) can conceptually distinguish between two non-existent items, they have to be real. In this article, the author presents significant consequences of this theory: the acceptance and denial of non-existent yet real extramental objects; the concept of mental existence as an alternative solution; the conceivability of paraconsistent ideas and their reality or reducibility to some real objects. (shrink)

We fix a gap in a proof in our paper Reducing ω-model reflection to iterated syntactic reflection.

In this article the author holds that progress in philosophy is a vague concept. Its criteria are not universally acknowledged. All that is clear is that philosophy does not develop in a linear way. Philosophy is polydiscoursive. As for the past fifty years, the author believes three important things happened in philosophy. (1) It has been shown that consciousness exists not within one individual but spreads within a community of people; (2) philosophy has discovered autism, a result that helps us (...) to understand a human being as neither a biological nor a social individual but a third thing—a dreaming being who is not only asocial but also tongueless, where speech and consciousness are separated; and (3) contemporary philosophy has learned to distinguish between sign and symbol. And it has been realized that the human mind is neither an instinct nor a computer but an objectified suffering, a transformed emotion. (shrink)

This paper will focus on the discussion of Tolstoy’s ideas in the late 1920s, right after the 100th anniversary of the writer’s birth, by the State Academy for the Study of Arts (GAKhN) (in a collective volume entitled Leo Tolstoy’s Aesthetics, 1929) and by Mikhail Bakhtin (in his two articles written specially for Tolstoy’s Collected Works). These interpretations were notably influenced by the official commemoration of Tolstoy during the anniversary year and by changes in the prevailing Marxist discourse regarding the (...) creative legacy and ideology of the author of War and Peace. (shrink)

This paper illustrates specific ways in which the Romans perceived Greek political practices and terminology, and shows how Roman texts often confused, misinterpreted, and mistranslated Greek political practices and vocabulary when adjusting them to Roman cultural and political realities.

This book constitutes the refereed proceedings of the 13th International Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2012, held in Helsinki, Finland, in July 2012, co-located with the 23rd Annual Symposium on Combinatorial Pattern Matching, CPM 2012. The 34 papers were carefully reviewed and selected from a total of 127 submissions. The papers present original research and cover a wide range of topics in the field of design and analysis of algorithms and data structures.